package MP.staticchecker;

public 
class RangeType extends PrimType {
	int lower;
	int upper;
	
	public RangeType(int up, int low) {
		lower = low;
		upper = up;
	}
	public String toString() {
		return lower+".."+upper;
	}
	public String getJVMType() {
		return "Ljava/lang/String;";
	}
	public int getLower(){
		return lower;
	}
	public int getUpper(){
		return upper;
	}
}

